$\forall$$b$:$\mathbb{N}$, $a$:$\mathbb{Z}$. $\exists$$y$:$\mathbb{Z}$. GCD($a$;$b$;$y$)